#ifndef __BOARD_ST_SUPPORT_H
#define __BOARD_ST_SUPPORT_H

void board_init(void);
int get_tick_count(unsigned long *count);
void mdelay(unsigned long nTime);
void SysTick_Handler(void);


int stm32_reg_int_cb(void (*cb)(void));

#endif  /* ST_DISCOVERY_BOARD_H */
